Russia's Gazprom: Europe used 85% of natural gas delivered in Summer